AADL[2]

Avionic Architectural Description Language

SAE

Under development. See ADL[4].